Higher Order Applicative XML Documents
نویسندگان
چکیده
XML is the extensible mark-up language designed to describe data on the world wide web. The syntax and semantics of a higher order applicative extension of XML is described here. In HOAX, the tag constructions a of standard XML documents denote the application of a function f to its arguments a. HOAX provides a natural “higher order XSLT”, that is, a higher order functional language which manipulates XML documents. The objective of HOAX is to make transformation and automatic generation of XML documents more like declarative programming, thereby extending into the programming domain the same clarity and power of expression that has distinguished XML as a datatype language.
منابع مشابه
خوشه‌بندی فراابتکاری اسناد فارسی اِکس‌اِم‌اِل مبتنی بر شباهت ساختاری و محتوایی
Due to the increasing number of documents, XML, effectively organize these documents in order to retrieve useful information from them is essential. A possible solution is performed on the clustering of XML documents in order to discover knowledge. Clustering XML documents is a key issue of how to measure the similarity between XML documents. Conventional clustering of text documents using a do...
متن کاملContribution to graphical querying language for XML semi-structured data
Recently, XML has become a standard for data representation, manipulation and exchange on the web. The increase in the use of XML in many applicative domains induces a strong need for providing XML query capabilities to many users. In this paper, we propose a solution of XML graphical querying based on the XQuery language. In our approach, we propose to integrate textual, spatial and temporal m...
متن کاملPrototyping a Vibrato-Aware Query-By-Humming (QBH) Music Information Retrieval System for Mobile Communication Devices: Case of Chromatic Harmonica
Background and Aim: The current research aims at prototyping query-by-humming music information retrieval systems for smart phones. Methods: This multi-method research follows simulation technique from mixed models of the operations research methodology, and the documentary research method, simultaneously. Two chromatic harmonica albums comprised the research population. To achieve the purpose ...
متن کاملA Complete Narrowing Calculus for Higher-Order Functional Logic Programming
Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature lack this feature. The natural way to deal with higher-order functions in the framework of ( rst-order) term rewriting is through so-called applicative term rewriting systems. In this paper we argue that existing calculi for lazy...
متن کاملAlgebraic Semantics for Higher-order Functional-Logic Programming
In this paper we give a semantics of higher-order functional-logic programming in the framework of typed universal algebra. The functional-logic language concerned here is an applicative term rewriting system in which there is no lambda abstraction mechanism. Therefore ordinary rst-order narrowing can be used to solve higher-order query. The soundness and completeness of narrowing for both the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002